![]() | Der er ingen kildehenvisninger i denne artikel, hvilket er et problem. (marts 2018) (Lær hvordan og hvornår man kan fjerne denne skabelonbesked) |
Stephen Cole Kleene | |
---|---|
![]() | |
Personlig information | |
Født | Stephen Cole Kleene ![]() 5. januar 1909 ![]() Hartford, Connecticut, USA ![]() |
Død | 25. januar 1994 (85 år) ![]() Madison, Wisconsin, USA ![]() |
Nationalitet | ![]() |
Uddannelse og virke | |
Uddannelsessted | Princeton Universitet (1930-1934), Amherst College (til 1930) ![]() |
Medlem af | National Academy of Sciences, American Academy of Arts and Sciences ![]() |
Beskæftigelse | Universitetsunderviser, matematiker, filosof, datalog ![]() |
Fagområde | Teoretisk datalogi, computationsteori ![]() |
Arbejdsgiver | United States Navy (1942-1946), Princeton Universitet (1934-1935), Amherst College (1941-1942), University of Wisconsin-Madison (1935-1941, 1946-1979) ![]() |
Kendte værker | The foundations of intuitionistic mathematics[1], Kleenes algoritme, Kleenes rekursionslæresætning, lambdakalkyle, Kleene algebra med flere ![]() |
Bevægelse | Intuisjonisme[2] ![]() |
Nomineringer og priser | |
Udmærkelser | Guggenheim-Stipendium (1949), National Medal of Science (1990), Leroy P. Steele Prize (1983) ![]() |
Information med symbolet ![]() |
Stephen Cole Kleene (født 5. januar 1909, død 25. januar 1994) var en amerikansk matematiker, hvis arbejde ved University of Wisconsin-Madison hjalp med til at lægge grunden for den teoretiske datalogi. Kleene er bedst kendt for at grundlægge grenen af matematisk logik kendt som rekursionsteori sammen med Alonzo Church, Kurt Gödel, Alan Turing , Emil Post og andre; og for at opfinde regulære udtryk. Ved at komme med metoder til at bestemme hvilke problemer som er løselige, førte Kleenes arbejde til studiet om hvilke funktioner, der er beregnelige. Blandt andet er Kleene algebra, Kleenes stjerne, Kleenes rekursionssætning og Kleenes fixpoint-sætning opkaldt efter ham.